mapping of a set in another

映入